1. Einführung in die Informatik :
المؤلف: von Fred Kröger.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Health Informatics.,Medicine et Public Health.,Software Engineering/Programming and Operating Systems.
2. Temporal Logic of Programs
المؤلف: by Fred Kröger.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
9
.
L63
B947
1987
3. Temporal logic and state systems
المؤلف: Kroger, Fred, 5491-
المکتبة: (طهران)
موضوع: ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
رده :
BC
199
.
T4K76
4. Temporal logic and state systems
المؤلف: Kroger, Fred
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
رده :
BC
199
.
T4
.
K76
2008
5. Temporal logic of programs
المؤلف: Kroger, Fred
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
6. Temporal logic of programs
المؤلف: KROGER,FRED
المکتبة: (طهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
K753
7. Temporal logic of programs
المؤلف: Kroger, Fred
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
8. Temporal logic of programs
المؤلف: Kroger, Fred
المکتبة: (طهران)
موضوع: ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
